<?php
// nothing to see here - just a placeholder.

//the user will normally be redirected by now.
?>